Uses of Class
edu.uky.ai.lp.logic.Unifier

Packages that use Unifier

Package	Description
edu.uky.ai.lp.ai	Contains classes for creating agents who play "Hunt the Wumpus".
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Unifier in edu.uky.ai.lp.ai

Fields in edu.uky.ai.lp.ai declared as Unifier

Modifier and Type	Field	Description
Unifier	Prover.unifier	The unifier as it stands before the proof begins

Constructors in edu.uky.ai.lp.ai with parameters of type Unifier

Constructor	Description
Prover(E expression, Unifier unifier)	Constructs a prover for a given expression and current unifier.

Uses of Unifier in edu.uky.ai.lp.logic

Methods in edu.uky.ai.lp.logic that return Unifier

Modifier and Type	Method	Description
Unifier	Unifier.clone()
Unifier	Unifier.set(Variable variable, Term value)	Sets a variable equal to a value (if value is a constant) or as having the same value as another variable (if value is a variable).
Unifier	BooleanExpression.unify(Formula other, Unifier unifier)
Unifier	Constant.unify(Formula other, Unifier unifier)
Unifier	Fact.unify(Formula other, Unifier unifier)
Unifier	Formula.unify(Formula other, Unifier unifier)	Unify this formula with another formula, adding to a given unifier as needed to make the two expression the same.
Unifier	Variable.unify(Formula other, Unifier unifier)

Methods in edu.uky.ai.lp.logic with parameters of type Unifier

Modifier and Type	Method	Description
Conjunction	Conjunction.substitute(Unifier unifier)
Constant	Constant.substitute(Unifier unifier)
Disjunction	Disjunction.substitute(Unifier unifier)
Expression	Expression.substitute(Unifier unifier)
Fact	Fact.substitute(Unifier unifier)
Formula	Formula.substitute(Unifier unifier)	Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
Negation	Negation.substitute(Unifier unifier)
abstract Term	Term.substitute(Unifier unifier)
Term	Variable.substitute(Unifier unifier)
protected Expression[]	BooleanExpression.substituteArguments(Unifier unifier)	Returns the expression's arguments with their variables substituted.
Unifier	BooleanExpression.unify(Formula other, Unifier unifier)
Unifier	Constant.unify(Formula other, Unifier unifier)
Unifier	Fact.unify(Formula other, Unifier unifier)
Unifier	Formula.unify(Formula other, Unifier unifier)	Unify this formula with another formula, adding to a given unifier as needed to make the two expression the same.
Unifier	Variable.unify(Formula other, Unifier unifier)